$\forall$${\it the\_es}$:ES, ${\it e'}$, $e$:E. Dec(($e$ $<$ ${\it e'}$))